Modeling Spatial Relations and Operations with Partially Ordered Sets
نویسنده
چکیده
Formal methods for the description of spatial relations can be based on mathematical theories of order. Subdivisions of land are represented as partially ordered sets (posets), a model that is general enough to answer spatial queries about inclusion and containment of spatial areas. After a brief introduction to the basic concepts of posets and lattices, their applications to modeling spatial relations and operations for spatial regions in terms of containment and overlay are presented. An interpretation is given for new geographic elements that are created by the completion from a poset to a lattice. It is shown that a novel approach to characterize certain topological relations based on a lattice of a simplicial complex is a model for spatial regions that combines both topological and order relations and allows spatial queries to be answered in a unified way.
منابع مشابه
Modelling Spatial Relations and Operations with Partially Ordered Sets
' Formal methods for the description of spatial relations can be based on mathematical theories of order. queries about inclusion and coxtainment of spatiai areas. afteia u.iijni-or.tion to the basic concepts ol posets and lattices, their applications to modeilin! rputrut relations and operations for sparial regions in terms oicon. nover approach to characterize certain topological relations ba...
متن کاملWitt rings of quadratically presentable fields
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...
متن کاملTripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملFixed point theorems for $alpha$-$psi$-contractive mappings in partially ordered sets and application to ordinary differential equations
In this paper, we introduce $alpha$-$psi$-contractive mapping in partially ordered sets and construct fixed point theorems to solve a first-order ordinary differential equation by existence of its lower solution.
متن کاملCategorical properties of regular partially ordered pure monomorphisms
Let a family of monomorphisms in the category A To study mathematical notions in a category A, such as injectivity, tensor products, flatness, with respect to a class M of its (mono)morphisms, one should know some of the categorical properties of the pair (A ,M ). In this paper we take A to be thecategory Pos-S of S-partially ordered sets and to be a particular class o...
متن کامل